886 search results - page 23 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
171
click to vote
RTSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
232
click to vote
CAV
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for bio...
135
click to vote
ECBS
2006
IEEE
15 years 10 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
144
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
Abstract: GPS technology has made it possible to evaluate the performance of outdoor advertising campaigns in an objective manner. Given the GPS trajectories of a sample of test pe...
137
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...