112 search results - page 18 / 23 » Formalization of fFSM Model and Its Verification |
JCS
2010
13 years 2 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
MAGS
2008
13 years 7 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
ENTCS
2006
13 years 7 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
EICS
2009
ACM
14 years 1 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...