4636 search results - page 534 / 928 » Modelling and Validation with VipTool |
180
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a framework for constructing secure systems at the architectural level. This framework is composed of an implementation-oriented formalization of a system’s architect...
174
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Current web applications use HTTP (Hyper Text Transfer Protocol) over TCP (Transmission Control Protocol) to retrieve objects over the Internet. SCTP (Stream Control Transmissi...
204
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a framework to design real-time event-based applications using Java. The Real-Time Specification for Java (RTSJ) is well designed for hard periodic real-time ...
187
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
—The objective of self-healing in mobile robot networks is to maintain not only logical topology but also physical one of a network when robots fail. An interaction dynamics mode...
179
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
—The distribution of the delay is a very important measure to determine the performance of a WLAN. Indeed, realtime applications typically require that their packets reach their ...