2379 search results - page 255 / 476 » Aspectizing Multi-agent Systems: From Architecture to Implem... |
197
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
206
click to vote
CL
2002
Springer
15 years 6 months ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...
169
click to vote
MIDDLEWARE
2004
Springer
15 years 12 months ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
218
click to vote
WMASH
2003
ACM
15 years 11 months ago
2003
ACM
A serious challenge for seamless roaming between independent wireless LANs (WLANs) is how best to confederate the various WLAN service providers, each having different trust relat...
190
click to vote
CODES
2006
IEEE
16 years 18 days ago
2006
IEEE
For modern embedded systems, the complexity of embedded applications has reached a point where the performance requirements of these applications can no longer be supported by emb...