452 search results - page 64 / 91 » Symbolic Execution of Behavioral Requirements |
EUROPAR
2008
Springer
15 years 20 days ago
2008
Springer
Abstract. Now that large radiotelescopes like SKA, LOFAR, or ASKAP, become available in different parts of the world, radioastronomers foresee a vast increase in the amount of data...
83
Voted
MKWI
2008
15 years 10 days ago
2008
: A common problem in model-driven software development processes is the tracing of requirements across different phases of the software development life cycle iple levels of abstr...
91
Voted
TROB
2002
14 years 10 months ago
2002
We have designed and built a set of miniature robots called Scouts and have developed a distributed software system to control them. This paper addresses the fundamental choices we...
102
Voted
RTS
2008
14 years 10 months ago
2008
Dynamic memory allocation has been used for decades. However, it has seldom been used in real-time systems since the worst case of spatial and temporal requirements for allocation ...
81
Voted
ICWS
2009
IEEE
15 years 8 months ago
2009
IEEE
ite Web service designed based on abstract Web services, which define only interfaces, allows an application developer to select services required for his application only by set...