320 search results - page 37 / 64 » Automating Model Transformations in Agent-Oriented Modelling |
81
Voted
JUCS
2008
15 years 14 days ago
2008
: Nowadays, the complexity of software applications has brought new challenges to developers, having to deal with a large number of computational requirements. Among these requirem...
136
Voted
SQJ
2010
14 years 11 months ago
2010
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...
127
click to vote
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
112
Voted
WSC
1997
15 years 1 months ago
1997
We are developing a parallel simulation framework for large-scale network simulation. An important component of this work is the development of a TCP/IP model library. TCP/IP expe...
133
Voted
CL
2010
Springer
15 years 19 days ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...