4418 search results - page 407 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
199
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
The design of interactive software that populates an ambient space is a complex and ad-hoc process with traditional software development approaches. In an ambient space, important ...
174
Voted
ICAC
2007
IEEE
16 years 1 months ago
2007
IEEE
In today’s complex and highly dynamic computing environments, systems/services have to be constantly adjusted to meet Service Level Agreements (SLAs) and to improve resource uti...
189
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
The Border Gateway Protocol (BGP) is the de facto inter-domain routing protocol that connects autonomous systems (ASes). Despite its importance for the Internet infrastructure, BGP...
173
click to vote
ICNP
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
176
click to vote
WORDS
2003
IEEE
16 years 3 days ago
2003
IEEE
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be com...