6197 search results - page 421 / 1240 » Sandbridge Software Tools |
171
click to vote
IJES
2006
15 years 6 months ago
2006
Embedded real-time systems must satisfy not only logical functional requirements but also para-functional properties such as timeliness, Quality of Service (QoS) and reliability. W...
229
click to vote
ECRTS
2005
IEEE
16 years 14 days ago
2005
IEEE
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
209
click to vote
UML
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
302
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
An ad hoc data source is any semistructured data source for which useful data analysis and transformation tools are not readily available. Such data must be queried, transformed a...
201
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...