262 search results - page 25 / 53 » Hybrid Constraints in Automated Model Synthesis and Model Pr... |
111
click to vote
RTCSA
2006
IEEE
15 years 5 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
127
click to vote
ANSOFT
2002
14 years 11 months ago
2002
Web applications can be classified as hybrids between hypermedia and information systems. They have a relatively simple distributed architecture from the user viewpoint, but a comp...
121
click to vote
SCESM
2006
ACM
15 years 5 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
CSB
2005
IEEE
15 years 5 months ago
2005
IEEE
Single-particle tracking provides a powerful technique for measuring dynamic cellular processes on the level of individual molecules. Much recent work has been devoted to using si...
123
click to vote
GIS
1995
ACM
15 years 3 months ago
1995
ACM
: Usually spatial planning problems involve a large number of decision makers with different backgrounds and interests. The process of Collaborative Spatial Decision Making (CSDM)...