358 search results - page 44 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
AIME
2007
Springer
14 years 3 months ago
2007
Springer
The development of intelligent healthcare support systems always requires a formalization of medical knowledge. Domain ontologies are especially suitable for this purpose but their...
COR
2010
13 years 9 months ago
2010
The Multi-Compartment Vehicle Routing Problem (MC-VRP) consists of designing transportation routes to satisfy the demands of a set of costumers for several products that because o...
DAGSTUHL
2006
13 years 10 months ago
2006
An incremental development framework which supports a conform construction of Protocol State Machines (PSMs) is presented. We capture design concepts and strategies of PSM constru...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
MAGS
2008
13 years 8 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...