1252 search results - page 176 / 251 » Complex Systems and Agent-Oriented Software Engineering |
104
Voted
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
133
click to vote
TASE
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--With the availability of powerful computational and communication systems, scientists now readily access large, complicated derived datasets and build on those results to...
111
Voted
FLAIRS
2003
15 years 2 months ago
2003
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...
138
click to vote
AOSD
2003
ACM
15 years 5 months ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
118
Voted
LADC
2007
Springer
15 years 6 months ago
2007
Springer
Analysis and design patterns are well established as a convenient and reusable way to build high-quality object-oriented software. Patterns combine experience and good practices t...