1678 search results - page 81 / 336 » An ASM Specification of C |
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
EDOC
2005
IEEE
14 years 1 months ago
2005
IEEE
12 OWL-S is an instance of the Web Ontology Language (OWL) that is used to describe and specify semantic web services. While OWL-S provides a promising mechanism for specification...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes our system that enables members of a social network to collaboratively annotate a shared media collection. The problem is important since online social networ...
AIED
2005
Springer
14 years 1 months ago
2005
Springer
Today's computer supported modelling environments could provide much more information about the users’ actions and problem solving processes than they usually store for late...
ICMI
2005
Springer
14 years 1 months ago
2005
Springer
 Synthetic characters are an effective modality to convey messages to the user, provide visual feedback about the system internal understanding ofÂ...