182 search results - page 25 / 37 » Illustrating Constraint Programming Systems in Logistic Plan... |
103
click to vote
FORMATS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
CGO
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Multicore systems have not only become ubiquitous in the desktop and server worlds, but are also becoming the standard in the embedded space. Multicore offers programabi...
106
click to vote
ECBS
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
120
click to vote
DALT
2005
Springer
15 years 5 months ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...