1988 search results - page 204 / 398 » Engineering formal metatheory |
166
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
200
click to vote
SEFM
2008
IEEE
16 years 29 days ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
175
click to vote
CSMR
2007
IEEE
16 years 28 days ago
2007
IEEE
The diffusion of service oriented architectures is slowed down by the lack of enough services available for satisfying service integrator needs. Nevertheless, many features desire...
159
click to vote
EDOC
2007
IEEE
16 years 28 days ago
2007
IEEE
The increasing complexity of modern Information Services (IS) makes necessary to carry on review activities. For many companies, these reviews take place within the framework of t...
155
click to vote
SCAM
2007
IEEE
16 years 26 days 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...