1153 search results - page 26 / 231 » Compositional Specification Calculus for Information Systems... |
135
Voted
IJCIS
2006
15 years 3 months ago
2006
of modern businesses, separation of concern mechanisms and abstractions are needed. iven development (MDD) approaches utilize abstraction and transformation to handle ty. In MDD, s...
125
Voted
ICALT
2009
IEEE
15 years 7 months ago
2009
IEEE
Authoring tools for building Intelligent Educational Systems must provide support to ensure flexibility, adaptability of content to the user profile, reusability and sharing of le...
264
Voted
FM
1997
Springer
15 years 7 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
131
Voted
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
124
Voted
CSCW
2004
ACM
15 years 9 months ago
2004
ACM
This paper explores the embodied interactional ways in which people naturally collaborate around and share collections of photographs. We employ ethnographic studies of paper-base...