412 search results - page 55 / 83 » RATSY - A New Requirements Analysis Tool with Synthesis |
ASPLOS
2006
ACM
14 years 4 months ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...
TVCG
2010
13 years 9 months ago
2010
—Characteristic curves of vector fields include stream, path, and streak lines. Stream and path lines can be obtained by a simple vector field integration of an autonomous ODE ...
SERP
2003
14 years 10 hour ago
2003
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...
NDSS
2009
IEEE
14 years 5 months ago
2009
IEEE
Linking network flows is an important problem in intrusion detection as well as anonymity. Passive traffic analysis can link flows but requires long periods of observation to r...
CSCW
2011
ACM
13 years 5 months ago
2011
ACM
Collaboration is key to safety and efficiency in Air Traffic Control. Legacy paper-based systems enable seamless and non-verbal collaboration, but trends in new software and hardw...