1432 search results - page 80 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
137
click to vote
CGO
2006
IEEE
15 years 9 months ago
2006
IEEE
Software code caches help amortize the overhead of dynamic binary transformation by enabling reuse of transformed code. Since code caches contain a potentiallyaltered copy of ever...
115
click to vote
CODES
1999
IEEE
15 years 7 months ago
1999
IEEE
We present an approach to process scheduling for synthesis of safety-critical distributed embedded systems. Our system model captures both the flow of data and that of control. Th...
137
click to vote
AOSE
2005
Springer
15 years 9 months ago
2005
Springer
This paper synthesizes two trends in the engineering of agent-based systems. One, modern agent-oriented methodologies deal with the key aspects of software development including re...
136
Voted
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Recently, service orientation has increasingly been debated both in research and practice. While researchers postulate a paradigm shift towards services as the basic unit of excha...
140
Voted
ACSC
2007
IEEE
15 years 7 months ago
2007
IEEE
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...