9974 search results - page 1288 / 1995 » Software Interconnection Models |
187
click to vote
FCS
2006
15 years 8 months ago
2006
-- Boolean SAT problems are widespread in current demanding applications, most notably model checking for both hardware and software. It has long been known that the clause-to-vari...
189
click to vote
DAGSTUHL
1996
15 years 8 months ago
1996
lection of software tools including: NSL, a neural simulation language; ASL, an abstract schema language; and MissionLab, a schema-based mission-oriented simulation and robot imple...
180
Voted
ARC
2010
Springer
15 years 7 months ago
2010
Springer
: When a logistics system is "self-organizing" it can function without significant intervention by managers, engineers, or software control. The social insects, such as a...
195
click to vote
JLP
2006
15 years 7 months ago
2006
Component-based software engineering needs to be backed by thorough formal concepts and modeling techniques. This paper combines two concepts introduced independently by the two a...
204
click to vote
AEI
2000
15 years 7 months ago
2000
This paper presents the software architecture for a next generation concurrent engineering environment that helps geographically separated designers and engineers to collaborate e...