Sciweavers

4048 search results - page 224 / 810
» Design Science, Engineering Science and Requirements Enginee...
Sort
View
FSTTCS
2008
Springer
15 years 5 months ago
A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems
ABSTRACT. Formalisms involving some degree of nondeterminism are frequent in computer science. In particular, various programming or specification languages are based on term rewr...
Juan Rodríguez-Hortalá
AC
2008
Springer
15 years 4 months ago
DARPA's HPCS Program- History, Models, Tools, Languages
The historical context surrounding the birth of the DARPA High Productivity Computing Systems (HPCS) program is important for understanding why federal government agencies launche...
Jack Dongarra, Robert Graybill, William Harrod, Ro...
PROCEDIA
2010
115views more  PROCEDIA 2010»
14 years 11 months ago
Exploring ontology metrics in the biomedical domain
Ontologies are gaining popularity in many domains as a way of representing, dealing and reasoning with large volumes of information, and they are starting to play a major role in ...
N. Manouselis, Miguel-Ángel Sicilia, Daniel...
CSCW
1996
ACM
15 years 8 months ago
Consistency Guarantees: Exploiting Application Semantics for Consistency Management in a Collaboration Toolkit
CSCW toolkits are designed to ease development of CSCW applications. They provide common, reusable components for cooperative system design, allowing application programmers to co...
Paul Dourish
HICSS
2005
IEEE
143views Biometrics» more  HICSS 2005»
15 years 10 months ago
Strategic Versus Tactical Design
Abstract. We seek to distinguish Strategic design decisions (e.g., to adopt a programming paradigm, architectural style, CBSE standard or application framework) from tactical desig...
Amnon H. Eden