Sciweavers

2891 search results - page 34 / 579
» More or Less Elaborate
Sort
View
IFL
2003
Springer
128views Formal Methods» more  IFL 2003»
15 years 3 months ago
With-Loop Scalarization - Merging Nested Array Operations
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner
CSCWD
2009
Springer
15 years 2 months ago
Designing and evaluating interfaces for mobile groupware systems
Mobile cooperative systems can facilitate cooperation by improving the flexibility of usage. However, mobile devices present some constraints that become the design and implement...
Carla Diacui Medeiros Berkenbrock, Alexandre Parra...
111
Voted
RE
2001
Springer
15 years 2 months ago
Goal-Oriented Requirements Engineering: A Guided Tour
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
Axel van Lamsweerde
INFOCOM
2000
IEEE
15 years 2 months ago
QoS Provisioning and Tracking Fluid Policies in Input Queueing Switches
The concept of tracking ‡uid policies by packetized policies is extended to input queueing switches. It is considered that the speed up of the switch is one. One of the interest...
Vahid Tabatabaee, Leonidas Georgiadis, Leandros Ta...
ICEIS
2007
IEEE
15 years 2 months ago
Case Handling Systems as Product Based Workflow Design Support
Case handling systems offer a solution to the lack of flexibility and adaptability in workflow management systems. Because they are data driven they potentially provide good suppor...
Irene T. P. Vanderfeesten, Hajo A. Reijers, Wil M....