1397 search results - page 29 / 280 » Manufacturing Modeling using Process Nets with Resources |
116
click to vote
IJCIM
2007
15 years 3 months ago
2007
: Software applications interoperability is a challenge for modern enterprises. It needs establishing standards and protocols for data exchange between different enterprise systems...
138
click to vote
JIB
2007
15 years 3 months ago
2007
The informative value of biomolecular networks has shifted from being solely information resources for possible cellular partners (whether these embody proteins, (ribo)nucleic aci...
132
click to vote
OTM
2005
Springer
15 years 8 months ago
2005
Springer
Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are g...
160
click to vote
LREC
2010
15 years 4 months ago
2010
This paper introduces GernEdiT (short for: GermaNet Editing Tool), a new graphical user interface for the lexicographers and developers of GermaNet, the German version of the Prin...
120
click to vote
SAFECOMP
1998
Springer
15 years 6 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...