Sciweavers

3718 search results - page 351 / 744
» IMPS: System Description
Sort
View
ICCS
2007
Springer
16 years 1 months ago
Autonomic Workflow Management in the Grid
The autonomic workflow engine enables workflow to be dynamically specified and adapted using Event-Condition-Action rules. A new approach to autonomic execution of workflow process...
Guangsheng Zhang, Changjun Jiang, Jing Sha, Ping S...
204
Voted
SFM
2007
Springer
107views Formal Methods» more  SFM 2007»
16 years 1 months ago
A Survey of Markovian Behavioral Equivalences
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
Marco Bernardo
213
Voted
HICSS
2005
IEEE
144views Biometrics» more  HICSS 2005»
16 years 1 months ago
Secure Dynamic Source Routing
— In this paper we present the Secure Dynamic Source Routing protocol for Mobile Ad hoc Networks that prevents a lot of potential attacks to these kind of networks. We also prese...
Frank Kargl, Alfred Geiss, Stefan Schlott, Michael...
ICDCSW
2005
IEEE
16 years 1 months ago
DistScroll - A New One-Handed Interaction Device
We present an interaction device for navigating data structures or browsing menus using only one hand. It is especially designed for situations in which the user wears gloves that...
Matthias Kranz, Paul Holleis, Albrecht Schmidt
AIIA
2005
Springer
16 years 1 months ago
A Linguistic Inspection of Textual Entailment
Recognition of textual entailment is not an easy task. In fact, early experimental evidences in [1] seems to demonstrate that even human judges often fail in reaching an agreement ...
Maria Teresa Pazienza, Marco Pennacchiotti, Fabio ...