Sciweavers

2830 search results - page 176 / 566
» No Science without Semantics
Sort
View
CSCW
1992
ACM
14 years 5 days ago
A Collaborative Medium for the Support of Conversational Props
Our work focuses on providing computational support for informal communication among people who are geographically separated. To better understand the use of artifacts in communic...
Tom Brinck, Louis M. Gomez
ACSC
2004
IEEE
13 years 12 months ago
An Approach to Specifying Software Frameworks
A framework is a reusable design that requires software components to function. To instantiate a framework, a software engineer must provide the software components required by th...
Leesa Murray, David A. Carrington, Paul A. Stroope...
ERSHOV
2006
Springer
13 years 11 months ago
TTCN-3 for Distributed Testing Embedded Software
Abstract. TTCN-3 is a standardized language for specifying and executing test suites that is particularly popular for testing embedded systems. Prior to testing embedded software i...
Stefan Blom, Thomas Deiß, Natalia Ioustinova...
RTA
2000
Springer
13 years 11 months ago
Parallelism Constraints
Parallelism constraints are logical descriptions of trees. Parallelism constraints subsume dominance constraints and are equal in expressive power to context unification. Paralleli...
Katrin Erk, Joachim Niehren
CIE
2008
Springer
13 years 10 months ago
Interpreting Localized Computational Effects Using Operators of Higher Type
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...
John Longley