185 search results - page 26 / 37 » SOFL: A Formal Engineering Methodology for Industrial Applic... |
ICSE
2008
IEEE-ACM
15 years 12 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
101
click to vote
FASE
2005
Springer
15 years 5 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
DEXAW
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper reflects different understanding and positions on future trends of GRID-oriented technologies, applications, and networks, as perceived by representatives from industry...
RE
2007
Springer
15 years 5 months ago
2007
Springer
We present details of a goal-oriented process for database requirements analysis. This process consists of a number of steps, spanning the spectrum from high-level stakeholder goa...
127
click to vote
CODES
2004
IEEE
15 years 3 months ago
2004
IEEE
There is a growing need for accurate power models at the system level. Memory structures such as caches, Branch Target Buffers (BTBs), and register files occupy significant area i...