1635 search results - page 248 / 327 » Design Productivity for Configurable Computing |
217
click to vote
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
110
click to vote
EDOC
2004
IEEE
2004
IEEE
Security Patterns: A Method for Constructing Secure and Efficient Inter-Company Coordination Systems
15 years 5 months ago
As the Internet, intranets and other wide-area open networks grow, novel techniques for building distributed systems, notably mobile agents, are attracting increasing attention. T...
111
click to vote
ACMDIS
2008
ACM
15 years 3 months ago
2008
ACM
We conducted a 6-month project with a physical therapy clinic, involving equal parts ethnographic fieldwork and rapid prototyping. It differed from most reported user-informed des...
152
click to vote
TCSV
2011
14 years 8 months ago
2011
—We propose a flexible framework to summarize team-sport videos that have been originally produced for broadcast purposes. The framework is able to integrate both the knowledge ...
JDIM
2010
14 years 8 months ago
2010
ABSTRACT. The design process followed to produce traditional applications needs to be enhanced to cope with new contextaware ubiquitous application requirements. With the popularit...