739 search results - page 130 / 148 » A security framework for the analysis and design of software... |
AGENTS
2000
Springer
13 years 12 months ago
2000
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. Tools that can help humans an...
ASPLOS
2006
ACM
14 years 1 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...
DOCENG
2010
ACM
13 years 8 months ago
2010
ACM
Building authoring applications is a tedious and complex task that requires a high programming effort. Document technologies, especially XML based ones, can help in reducing such ...
CODES
2005
IEEE
14 years 1 months ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...