3047 search results - page 336 / 610 » On the Meaning of Logical Completeness |
187
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
In their seminal paper in the ACM Transactions on Software Engineering and Methodology, Zave and Jackson established a core ontology for Requirements Engineering (RE) and used it ...
209
click to vote
ALGORITHMICA
2006
15 years 7 months ago
2006
Phylogenetic analysis is an area of computational biology concerned with the reconstruction of evolutionary relationships between organisms, genes, and gene families. Maximum likel...
217
click to vote
EOR
2008
15 years 7 months ago
2008
Heterogeneous wireless/wired networks and ubiquitous environments are gaining ever more attention by research community. To properly control and manage such puzzles a deep knowled...
195
click to vote
ENTCS
2007
15 years 7 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
194
click to vote
MST
2010
15 years 5 months ago
2010
atic presentation for a relational structure is, informally, an abstract representation of the elements of that structure by means of a regular language such that the relations ca...