4799 search results - page 841 / 960 » Model Based Requirements Engineering for Embedded Software |
189
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
This demo illustrates MAS-DisCoSim 4 PDP, a testbed environment for evaluating distributed multi-agent system solutions to pickup and delivery problems (PDPs). PDPs are well-studi...
206
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
151
click to vote
ISORC
2006
IEEE
16 years 10 days ago
2006
IEEE
Convenience, reliability, and effectiveness of automatic memory management have long been established in modern systems and programming languages such as Java. The timeliness req...
179
click to vote
SIGADA
2004
Springer
15 years 11 months ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
174
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
Transactional requirements, from new application domains and execution environments, are varying and may exceed traditional ACID properties. We believe that transactional middlewa...