523 search results - page 30 / 105 » Embedded Software Development with Projectional Language Wor... |
114
click to vote
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
The development processes of open source software are different from traditional closed source development processes. Still, open source software is frequently of high quality. Th...
113
click to vote
ISORC
2009
IEEE
15 years 8 months ago
2009
IEEE
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...
113
click to vote
PODS
2004
ACM
16 years 2 months ago
2004
ACM
We present the Lixto project, which is both a research project in database theory and a commercial enterprise that develops Web data extraction (wrapping) and Web service definiti...
127
click to vote
MATES
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitati...
155
click to vote
INLG
2010
Springer
14 years 12 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...