287 search results - page 26 / 58 » A Lightweight Formal Framework for Service-Oriented Applicat... |
SEKE
2005
Springer
14 years 1 months ago
2005
Springer
The emerging consensus on the boundaries and main elements of the Software Engineering (SE) discipline represents an opportunity for the engineering of shared conceptualizations t...
ASAP
2007
IEEE
14 years 2 months ago
2007
IEEE
Though all of the current main-stream OSs have supported superpage to some extent, most of them need runtime information provided by applications, simulator or other tools. Transp...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
There is a need for agent systems that can scale to realworld applications, yet retain the clean semantic underpinning of more formal agent frameworks. We describe the SRI Procedu...
ICCAD
2002
IEEE
14 years 4 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
OOPSLA
2009
Springer
14 years 2 months ago
2009
Springer
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...