Sciweavers

1139 search results - page 195 / 228
» Aligning Goal Models and Business Models - extended abstract
Sort
View
ICRA
2010
IEEE
125views Robotics» more  ICRA 2010»
15 years 14 days ago
Inferring the semantics of direction signs in public places
Abstract— Most large-scale public environments provide direction signs to facilitate the orientation for humans and to find their way to a goal location in the environment. Thus...
Jérôme Maye, Luciano Spinello, Rudolp...
ICST
2010
IEEE
15 years 14 days ago
Precisely Detecting Runtime Change Interactions for Evolving Software
Abstract—Developers often make multiple changes to software. These changes are introduced to work cooperatively or to accomplish separate goals. However, changes might not intera...
Raúl A. Santelices, Mary Jean Harrold, Ales...
DEXA
2009
Springer
127views Database» more  DEXA 2009»
15 years 8 months ago
The Real Performance Drivers behind XML Lock Protocols
Abstract. Fine-grained lock protocols should allow for highly concurrent transaction processing on XML document trees, which is addressed by the taDOM lock protocol family enabling...
Sebastian Bächle, Theo Härder
VIS
2009
IEEE
246views Visualization» more  VIS 2009»
16 years 3 months ago
Supercubes: A High-Level Primitive for Diamond Hierarchies
Abstract-- Volumetric datasets are often modeled using a multiresolution approach based on a nested decomposition of the domain into a polyhedral mesh. Nested tetrahedral meshes ge...
Kenneth Weiss, Leila De Floriani
139
Voted
EMSOFT
2011
Springer
14 years 1 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...