860 search results - page 114 / 172 » A Process Algebra Based Verification of a Production System |
IFIP12
2009
13 years 6 months ago
2009
Crop simulation model has been becoming the core of agricultural production management and resource optimization management. Displaying crop growth process makes user observe the c...
CIKM
2008
Springer
13 years 11 months ago
2008
Springer
In many application areas, for example in design or media production processes, several authors have to work cooperatively on the same project. Thereby, a frequently used data for...
FIW
2003
13 years 10 months ago
2003
We report on a property-based approach to feature interaction analysis for a client-server email system. The model is based upon Hall’s email model [12] presented at FIW’00 [3]...
CAD
2006
Springer
13 years 9 months ago
2006
Springer
This paper describes an approach to interoperability in design projects that is based on computational agents customizing the representation of product data to individual design to...
CLEIEJ
2004
13 years 8 months ago
2004
An important premise of most of the contemporary methods for developing Software and Information Systems is that a good understanding of the application domain is essential for a ...