Sciweavers

13977 search results - page 2465 / 2796
» Evolution in complex systems
Sort
View
200
Voted
DAIS
2006
15 years 8 months ago
Mobile Process Description and Execution
Abstract. Mobile devices are increasingly aware of their respective locations and vicinity and tend to communicate rather loosely with each other; therefore asynchronous communicat...
Christian P. Kunze, Sonja Zaplata, Winfried Lamers...
DAIS
2006
15 years 8 months ago
An Application Framework for Nomadic, Collaborative Applications
To maintain availability and responsiveness, mobile applications sharing data often work on their own copy and transmit local changes to other participants. Existing systems for re...
James O'Brien, Marc Shapiro
FORTE
2004
15 years 8 months ago
A Temporal Logic Based Framework for Intrusion Detection
Abstract. We propose a framework for intrusion detection that is based on runtime monitoring of temporal logic specifications. We specify intrusion patterns as formulas in an expre...
Prasad Naldurg, Koushik Sen, Prasanna Thati
EPK
2006
114views Management» more  EPK 2006»
15 years 8 months ago
Verifying Properties of (Timed) Event Driven Process Chains by Transformation to Hybrid Automata
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
Stefan Denne
IADIS
2004
15 years 8 months ago
Structuration and metadata for electronic library
The complexity of preserving the web is becoming one of the most important information and communication media. While the quantity of digital resources available through the web i...
Omar Larouk, Salah Dalhoumi
« Prev « First page 2465 / 2796 Last » Next »