8083 search results - page 403 / 1617 » A Formalization of Software Architecture |
170
Voted
ESCIENCE
2005
IEEE
16 years 13 days ago
2005
IEEE
Security is a critical component of grid systems and while there are numerous software components and tools that provide some capabilities relating to security, there are few comp...
162
click to vote
SCAM
2007
IEEE
16 years 1 months ago
2007
IEEE
Remote trusting aims at verifying the “healthy” execution of a program running on an untrusted client that communicates with a trusted server via network connection. After giv...
166
click to vote
AGILEDC
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper analyzes the reflections of an agile team, developing a large-scale project in an industry setting. The team uses an Iteration Summary Meeting practice, which includes ...
170
click to vote
FM
2005
Springer
16 years 10 days ago
2005
Springer
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour tha...
179
click to vote
SEKE
2005
Springer
16 years 9 days ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...