653 search results - page 41 / 131 » Implications of a Data Structure Consistency Checking System |
ICWE
2005
Springer
15 years 5 months ago
2005
Springer
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
KES
2004
Springer
15 years 5 months ago
2004
Springer
In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are di...
102
click to vote
RECOMB
2003
Springer
16 years 3 days ago
2003
Springer
We develop a new framework for inferring models of transcriptional regulation. The models in this approach, which we call physical models, are constructed on the basis of verifiab...
111
click to vote
ER
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. The notion of user preference in database modeling has recently received much attention in advanced applications, such as personalization of e-services, since it captures...
102
click to vote
ICITA
2005
IEEE
15 years 5 months ago
2005
IEEE
Intrusion Detection Systems (IDS) have become widely used tools for ensuring system and network security. Among many other challenges, contemporary IDS have to cope with increasin...