345 search results - page 58 / 69 » A New Software Development Project Using an Old Game |
IFIP
1993
Springer
13 years 11 months ago
1993
Springer
A new type of computer-aided engineering environment is envisioned which will improve the productivity of manufacturing/industrial engineers. This environment would be used by eng...
ICAT
2003
IEEE
14 years 28 days ago
2003
IEEE
Movements of upper limbs are complicated, various and indispensable for daily activities. For patients with impairment of their upper limb, rehabilitation along with medical treat...
AGTIVE
1999
Springer
13 years 12 months ago
1999
Springer
A suitable software architecture –for example in the area of distributed application– can be composed of known-to-work solutions. These are also known as design patterns. Howev...
ARGMAS
2004
Springer
13 years 11 months ago
2004
Springer
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...