Sciweavers

9520 search results - page 1588 / 1904
» or 2011
Sort
View
BPM
2011
Springer
270views Business» more  BPM 2011»
14 years 6 months ago
Automated Error Correction of Business Process Models
As order dependencies between process tasks can get complex, it is easy to make mistakes in process model design, especially behavioral ones such as deadlocks. Notions such as soun...
Mauro Gambini, Marcello La Rosa, Sara Migliorini, ...
BSN
2011
IEEE
192views Sensor Networks» more  BSN 2011»
14 years 6 months ago
Observing Recovery from Knee-Replacement Surgery by Using Wearable Sensors
—A progressive improvement in gait following knee arthroplasty surgery can be observed during walking and transitional activities such as sitting/standing. Accurate assessment of...
Louis Atallah, Gareth G. Jones, Raza Ali, Julian J...
CADE
2011
Springer
14 years 6 months ago
Static Analysis of Android Programs
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
Étienne Payet, Fausto Spoto
CADE
2011
Springer
14 years 6 months ago
Deciding Security for Protocols with Recursive Tests
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
Mathilde Arnaud, Véronique Cortier, St&eacu...
CAE
2011
14 years 6 months ago
Aesthetic Agents: Swarm-based Non-photorealistic Rendering using Multiple Images
The creation of expressive styles for digital art is one of the primary goals in non-photorealistic rendering. In this paper, we introduce a swarm-based multi-agent system that is...
J. Love, P. Pasquier, B. Wyvill, S. Gibson, G. Tza...
« Prev « First page 1588 / 1904 Last » Next »