4151 search results - page 128 / 831 » Language Driven System Design |
ICDCS
2005
IEEE
15 years 7 months ago
2005
IEEE
IT today is driven by the trend of increasing scale and complexity. Utility and Grid computing models, PlanetLab, and traditional data centers, are reaching the scale of thousands...
124
click to vote
CIA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...
116
click to vote
APSEC
2005
IEEE
15 years 7 months ago
2005
IEEE
Automotive software systems are becoming increasingly complex, driven both by advances in technology and by demands for more powerful applications. The design of such complex syst...
127
click to vote
ESWA
2008
15 years 1 months ago
2008
The severe competition in the market has driven enterprises to produce a wider variety of products to meet consumers' needs. However, frequent variation of product specificat...
114
click to vote
IJAIT
2006
15 years 1 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...