Sciweavers

4390 search results - page 443 / 878
» Part Objects and their Location
Sort
View
IEEEAMS
2002
IEEE
16 years 1 days ago
The Design and Implementation of the A2QM3 System
In this paper we present the design, architecture and implementation of the A2QM3 System. It provides programmers re-usable QoS-aware Control Objects to enable building a complete...
Balázs Csizmazia, Hermann Hellwagner
WFLP
2009
Springer
255views Algorithms» more  WFLP 2009»
15 years 11 months ago
Constraint Based Strategies
Numerous computational and deductive frameworks use the notion of strategy to guide reduction and search space exploration, making the macro scale control of micro operations an ex...
Claude Kirchner, Florent Kirchner, Hél&egra...
ER
2001
Springer
165views Database» more  ER 2001»
15 years 11 months ago
Agent-Oriented Enterprise Modeling Based on Business Rules
Business rules are statements that express (certain parts of) a business policy, defining business terms and defining or constraining the operations of an enterprise, in a declar...
Kuldar Taveter, Gerd Wagner
OOIS
2001
Springer
15 years 11 months ago
Guiding Use Case Driven Requirements Elicitation and Analysis
Use cases are often perceived as an integral part of an objectoriented approach to software development, yet despite claims that objects fall naturally from the use case descripti...
Keith Phalp, Karl Cox
ZUM
1998
Springer
111views Formal Methods» more  ZUM 1998»
15 years 11 months ago
Combining Specification Techniques for Processes, Data and Time
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
Ernst-Rüdiger Olderog