2838 search results - page 140 / 568 » Verifying Controlled Components |
KIVS
2009
Springer
14 years 4 months ago
2009
Springer
Multiplayer Online Games (MOGs) are a thriving market leading to a multiplicity of game related internet applications. Enabling information exchange between games and these applica...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents an architecture for resource sharing in Personal Networks (PNs). Resources are not necessarily in the same authentication domain and the group that uses them is...
FM
2008
Springer
13 years 12 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
EUSFLAT
2001
13 years 11 months ago
2001
The correction of angular misalignment between mating components is a fundamental requirement for their successful assembly. In this paper we present how a learning agent based on...
DAS
2006
Springer
14 years 2 months ago
2006
Springer
The bounding-box of a geometric shape in 2D is the rectangle with the smallest area in a given orientation (usually upright) that complete contains the shape. The best-fit bounding...