8154 search results - page 364 / 1631 » Understanding changes in use cases: A case study |
140
click to vote
HYBRID
1994
Springer
15 years 11 months ago
1994
Springer
This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies that hav...
162
click to vote
CCE
2008
15 years 6 months ago
2008
An efficient algorithm to train general differential recurrent neural networks is proposed. The trained network can be directly used as the internal model of a predictive controll...
175
click to vote
ENTCS
2008
15 years 6 months ago
2008
Three models of coordination--Reo, Actors-Roles-Coordinators (ARC), and Reflective Russian Dolls (RRD)--are compared and contrasted according to a set of coordination features. Ma...
183
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Ontology-Based Information Extraction (OBIE) has recently emerged as a subfield of Information Extraction (IE). Here, ontologies - which provide formal and explicit specificatio...
202
click to vote
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
Program comments have long been used as a common practice for improving inter-programmer communication and code readability, by explicitly specifying programmers' intentions ...