Sciweavers

4469 search results - page 81 / 894
» A Language for Role Specifications
Sort
View
127
Voted
FBT
1998
119views Formal Methods» more  FBT 1998»
15 years 5 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust
CORR
2010
Springer
104views Education» more  CORR 2010»
15 years 1 months ago
Testing by C++ template metaprograms
Abstract. Testing is one of the most indispensable tasks in software engineering. The role of testing in software development has grown significantly because testing is able to rev...
Norbert Pataki
WWW
2004
ACM
16 years 4 months ago
The role of standards in creating community
Participation in the web of communities requires a common language, a common technological structure and development of content that is relevant and captivating. This paper report...
Kathi C. Martin
HCI
2007
15 years 5 months ago
The Role of Annotation in Intercultural Communication
Abstract. In intercultural communication, there are large barriers when the languages and the cultures are different. It is undoubtedly preferable for people to have smooth communi...
Tomohiro Shigenobu, Kunikazu Fujii, Takashi Yoshin...
EACL
2003
ACL Anthology
15 years 5 months ago
The Role of Initiative in Tutorial Dialogue
This work is the first systematic investigation of initiative in human-human tutorial dialogue. We studied initiative management in two dialogue strategies: didactic tutoring and...
Mark G. Core, Johanna D. Moore, Claus Zinn