1878 search results - page 190 / 376 » Efficient Performance Models in Component-Based Software Eng... |
124
Voted
CISSE
2008
Springer
15 years 4 months ago
2008
Springer
Localization is the subject matter that has allured the attention of many researchers in the field of wireless sensor network. It is the process of assigning or computing the locat...
116
Voted
FSTTCS
2010
Springer
15 years 23 days ago
2010
Springer
Abstract. This paper proposes a global escape mechanism which can handle unexpected or unwanted conditions changing the default execution of distributed communicational flows, pres...
105
click to vote
SEFM
2005
IEEE
15 years 8 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
133
Voted
SMA
2008
ACM
15 years 2 months ago
2008
ACM
An algorithm and implementation is presented to compute the exact arrangement induced by arbitrary algebraic surfaces on a parametrized ring Dupin cyclide. The family of Dupin cyc...
123
Voted
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...