Sciweavers

10908 search results - page 1856 / 2182
» Requirements Engineering Tasks
Sort
View
193
Voted
NJC
2006
88views more  NJC 2006»
15 years 6 months ago
Optimizing Slicing of Formal Specifications by Deductive Verification
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
Ingo Brückner, Björn Metzler, Heike Wehr...
SIAMJO
2008
93views more  SIAMJO 2008»
15 years 6 months ago
Multivariable Utility Functions
Abstract. Utility functions of several variables are ubiquitous in economics. Their maximization requires inversion of the gradient map. Using convex analysis tools, we provide a r...
Maria B. Chiarolla, Ulrich G. Haussmann
STTT
2008
124views more  STTT 2008»
15 years 6 months ago
Protos2CPN: using colored Petri nets for configuring and testing business processes
Protos is a popular tool for business process modelling used in more than 1500 organizations. It has a built-in Petri-net-based simulation engine which shows key performance indica...
Florian Gottschalk, Wil M. P. van der Aalst, Moniq...
TIP
2008
168views more  TIP 2008»
15 years 6 months ago
A Real-Time Algorithm for the Approximation of Level-Set-Based Curve Evolution
Abstract--In this paper, we present a complete and practical algorithm for the approximation of level-set-based curve evolution suitable for real-time implementation. In particular...
Yonggang Shi, William Clement Karl
TOH
2008
78views more  TOH 2008»
15 years 6 months ago
Manual Detection of Spatial and Temporal Torque Variation through a Rotary Switch
We report three experiments on manual detection of torque variations experienced through a rotary switch. The experiments were designed to investigate whether torque perception was...
Hong Z. Tan, Shuo Yang, Zygmunt Pizlo, Pietro Butt...
« Prev « First page 1856 / 2182 Last » Next »