996 search results - page 53 / 200 » A Compositional Model for Software Reuse |
115
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
139
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
146
Voted
SEKE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--Component-based development focuses on compose and composition: abstract components (as wished) must be searched for and matched to existing component (as found). This se...
140
click to vote
ICMI
2004
Springer
15 years 9 months ago
2004
Springer
Although several real multimodal systems have been built, their development still remains a difficult task. In this paper we address this problem of development of multimodal inte...
124
Voted
CHI
2005
ACM
16 years 4 months ago
2005
ACM
This paper presents X-PRT, a new cognitive modeling tool supporting activities ranging from interface design to basic cognitive research. X-PRT provides a graphical model developm...