2223 search results - page 222 / 445 » Events in Property Patterns |
151
click to vote
ICWE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Current Web applications embed sophisticated user interfaces and business logic. The original interaction paradigm of the Web with static content pages that are browsed b...
147
click to vote
EUROPAR
2008
Springer
15 years 6 months ago
2008
Springer
The use of virtualization is rapidly expanding from server consolidation to various computing systems including PC, multimedia set-top box and gaming console. However, different fr...
143
click to vote
DAGSTUHL
1998
15 years 6 months ago
1998
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
126
click to vote
FORTE
1998
15 years 6 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
134
click to vote
ICSP
1993
15 years 6 months ago
1993
Much contemporary development process research is based on analyses of process steps, their duration, and the events they propagate. Our initial research in large, mature telecomm...