224 search results - page 22 / 45 » Natural Language Multiprocessing: A Case Study |
DANCE
2002
IEEE
14 years 2 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
TBILLC
2005
Springer
14 years 3 months ago
2005
Springer
In this paper I argue that syntactic categories are not part of UG but are acquired during first language acquisition as a result of doubling effects. In short, it is argued that a...
DBKDA
2009
IEEE
14 years 1 months ago
2009
IEEE
Software systems in health care, such as disease and medical-record management, or financial applications, such as customer relationship and portfolio management, have very often...
ASE
2008
13 years 10 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
UML
2005
Springer
14 years 3 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...