5984 search results - page 381 / 1197 » The Informal Nature of Systems Engineering |
197
click to vote
ASE
2008
15 years 7 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...
184
click to vote
FOSSACS
2003
Springer
16 years 1 days ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
191
click to vote
MAICS
2004
2004
Creation of a Style Independent Intelligent Autonomous Citation Indexer to Support Academic Research
15 years 8 months ago
This paper describes the current state of RUgle, a system for classifying and indexing papers made available on the World Wide Web, in a domain-independent and universal manner. B...
146
click to vote
EACL
2006
ACL Anthology
15 years 8 months ago
2006
ACL Anthology
o abstract describes the SmartWeb Ontology-based Annotation system (SOBA). A key feature of SOBA is that all information is extracted and stored with respect to the SmartWeb Integ...
189
click to vote
VAMOS
2010
Springer
15 years 8 months ago
2010
Springer
Revision control systems are a major means to manage versions and variants of today's software systems. An ongoing problem in these systems is how to resolve conflicts when me...