3028 search results - page 469 / 606 » Integrating Temporal Logics |
MDM
2007
Springer
14 years 3 months ago
2007
Springer
Mobile phones are being increasingly equipped with sensors that ease retrieval of context information about a user. Context data can be aggregated with information centrally avail...
MODELS
2007
Springer
14 years 3 months ago
2007
Springer
The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical preced...
VAMOS
2007
Springer
14 years 3 months ago
2007
Springer
The omnipresent integration of computer technology in everyday applications introduces new opportunities to make software systems aware of the context in which they are used. Such...
WSFM
2007
Springer
14 years 3 months ago
2007
Springer
A fundamental promise of service oriented architecture (SOA) lies in the ease of integrating sharable information, processes, and other resources through interactions among the sha...
ICTAI
2006
IEEE
14 years 3 months ago
2006
IEEE
Precedence constraints play a crucial role in planning and scheduling problems. Many real-life problems also include dependency constraints expressing logical relations between the...