5407 search results - page 999 / 1082 » The Software Engineering Global Model |
176
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
A fundamental problem in timing-driven physical synthesis is the reduction of critical paths in a design. In this work, we propose a powerful new technique that moves (and can als...
163
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
This paper proposes an approach for solving the problem of composite process oriented service discovery with preserving business and timed relation. Key to our approach is the def...
172
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Geography and social relationships are inextricably intertwined; the people we interact with on a daily basis almost always live near us. As people spend more time online, data re...
149
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
163
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this work, we introduce the class of Interrupt Timed Automata (ITA), which are well suited to the description of multi-task systems with interruptions in a single proc...