3444 search results - page 350 / 689 » A Theory of Object-Oriented Design |
196
Voted
DIAGRAMS
2006
Springer
15 years 10 months ago
2006
Springer
In a study of crew interaction with the automatic flight control system of the Boeing 757/767 aircraft, we observed 60 flights and recorded every change in the aircraft control mo...
201
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
210
Voted
APN
2008
Springer
15 years 9 months ago
2008
Springer
HYPENS is an open source tool to simulate timed discrete, continuous and hybrid Petri nets. It has been developed in Matlab to allow designer and user to take advantage of several...
169
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Life-like agents have the potential to make e-shopping sites on the Web more attractive and persuasive; our interest is to determine how multiple life-like agents should behave as...
177
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Software systems are subject to increasing complexity and in need of efficient structuring. Multi-agent system research has come up with approaches for an organization-oriented co...