1678 search results - page 70 / 336 » An ASM Specification of C |
ENTCS
2002
13 years 7 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a novel platform for image retrieval based on a two-level architecture inspired from human cognitive mechanisms. These two levels provide both generic similari...
IPPS
1996
IEEE
13 years 12 months ago
1996
IEEE
In many concurrent programming languages programs are difficult to extend and modify. This is because changes in a concurrent program (either through modification or extension) re...
DSD
2004
IEEE
13 years 11 months ago
2004
IEEE
An embedded system is an application specific electronic sub-system used in a larger system such as an appliance, an instrument or a vehicle. An embedded system is generally made ...
SERP
2004
13 years 9 months ago
2004
This paper presents the motivation as well as the development for Dynasty, a 3-D game. Dynasty is a multiplayer 3D first person shooter game that is based in Ancient China. Player...