3718 search results - page 157 / 744 » IMPS: System Description |
124
click to vote
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...
137
click to vote
BMAS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper discusses aBlox - a specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system...
153
click to vote
ECOOP
1995
Springer
15 years 8 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
143
click to vote
NAACL
2010
15 years 2 months ago
2010
I briefly describe a system for automatically creating an implemented grammar of a natural language based on answers to a web-based questionnaire, then present a grammar of Sahapt...
137
click to vote
CLEAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A description of the MIT Lincoln Laboratory system used in the person identification task of the recent CLEAR 2007 Evaluation is documented in this paper. This task is br...