3256 search results - page 510 / 652 » Applications of Formal Methods to System Design and Verifica... |
VEE
2006
ACM
15 years 4 months ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
87
Voted
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be...
ASWC
2006
Springer
15 years 1 months ago
2006
Springer
Automated Web service composition and automated Web service annotation could be seen as complimentary methodologies. While automated annotation allows to extract Web service semant...
117
click to vote
HAPTICS
2005
IEEE
15 years 3 months ago
2005
IEEE
Background: Monitoring body kinematics has fundamental relevance in several biological and technical disciplines. In particular the possibility to exactly know the posture may fur...
AAAI
1997
14 years 11 months ago
1997
This case study paper reports on the development and implementation of DISXPERT, a rule-based expert system tool for referral of social security disability recipients to vocationa...