2379 search results - page 288 / 476 » Aspectizing Multi-agent Systems: From Architecture to Implem... |
160
click to vote
ECIS
2000
15 years 7 months ago
2000
Abstract - Among other proposals to reform the German outpatient health care system the establishment of networks of cooperating physicians (doctors' networks) has found high ...
193
Voted
VEE
2005
ACM
15 years 11 months ago
2005
ACM
We present a new software system architecture for the implementation of hard real-time applications. The core of the system is a microkernel whose reactivity (interrupt handling a...
172
click to vote
HICSS
2006
IEEE
16 years 6 days ago
2006
IEEE
—Ben Clacy and Brian Jennings presented their recently published paper with the title of “service management: driving the future of IT” [1], which highlighted service oriente...
146
Voted
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Microelectronic manufacturing deals with the efficient coordination of manufacturing processes and owning enterprises along a value chain to provide microelectronic products to cu...
168
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...