1153 search results - page 215 / 231 » Compositional Specification Calculus for Information Systems... |
126
click to vote
ACMSE
2006
ACM
15 years 8 months ago
2006
ACM
Software researchers have already developed static code security checkers to parse through and scan source code files, looking for security vulnerabilities [8, 9]. What about exec...
128
click to vote
SENSYS
2006
ACM
15 years 8 months ago
2006
ACM
Sensor networks are fundamentally constrained by the difficulty and energy expense of delivering information from sensors to sink. Our work has focused on garnering additional si...
103
click to vote
KCAP
2005
ACM
15 years 7 months ago
2005
ACM
The Designers’ Workbench is a system, developed by the Advanced Knowledge Technologies (AKT) consortium to support designers in large organizations, such as RollsRoyce, by makin...
106
click to vote
WICSA
2001
15 years 3 months ago
2001
Software architecture research focuses on models of software architectures as specified in architecture description languages (ADLs). As research progresses in specific areas of s...
127
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: To interpret microarray experiments, several ontological analysis tools have been developed. However, current tools are limited to specific organisms. Results: We deve...