285 search results - page 45 / 57 » An Open Platform for Business Process Modeling and Verificat... |
ECMAST
1999
Springer
14 years 1 months ago
1999
Springer
The objectives of the CATI project (Charging and Accounting Technology for the Internet) include the design, implementation, and evaluation of charging and accounting mechanisms f...
MODELS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
CGF
2004
13 years 8 months ago
2004
Issues of digital preservation of shapes and internal structures of historical cultural objects are discussed. An overview of existing approaches to digital preservation related t...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Universities have severe difficulties in using elearning applications successfully due to organizational problems to provide them. Providing a web-based learning environment is an...
ADAEUROPE
2010
Springer
13 years 7 months ago
2010
Springer
Abstract: This paper proposes a strategy to manage the schedulability of realtime component-based applications that is fully compatible with the concept of component viewed as a re...