3458 search results - page 119 / 692 » Abstracting Control |
FDL
2005
IEEE
15 years 8 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
97
Voted
KES
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Currently, the major focus on the network security is securing individual components as well as preventing unauthorized access to network service. In this paper, we propo...
117
click to vote
RELMICS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
ESAW
2004
Springer
15 years 7 months ago
2004
Springer
The deployment of multi-agent systems demands for justified confidence into their behaviour, both with respect to correct results of computations and with respect to timeliness t...
105
click to vote
IPTPS
2003
Springer
15 years 7 months ago
2003
Springer
Abstract—Structured peer-to-peer overlay networks provide a useful substrate for building distributed applications but there are general concerns over the cost of maintaining the...