483 search results - page 31 / 97 » Reachability Analysis of Hybrid Systems Using Support Functi... |
RTSS
2006
IEEE
14 years 2 months ago
2006
IEEE
Location services are essential to many applications running on a hybrid of wirelessly-networked mobile actors and static sensors, such as surveillance systems and the Pursuer and...
BIB
2010
13 years 8 months ago
2010
PathwayTools is a production-quality software environment for creating a type of model-organism database called a Pathway/Genome Database (PGDB). A PGDB such as EcoCyc integrates ...
CSL
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
CSMR
2007
IEEE
14 years 2 months ago
2007
IEEE
The Meta-Environment is a flexible framework for language development, source code analysis and source code transformation. We highlight new features and demonstrate how the syst...
CASES
2003
ACM
14 years 1 months ago
2003
ACM
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. A correct WCET analysis method must take into account the po...