1040 search results - page 73 / 208 » Controlling Aspect Reentrancy |
107
click to vote
BPM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
W4A
2004
ACM
15 years 4 months ago
2004
ACM
Specifications for accessibility of Web page do not necessarily guarantee a usable or satisfying Web experience for persons with disabilities. The needs of many of these individua...
GECCO
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Since typical evolutionary design systems encode only a single artifact with each individual, each time the objective changes a new set of individuals must be evolved. Wh...
RTSS
1999
IEEE
15 years 3 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
100
click to vote
COOP
2004
15 years 13 days ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...