5227 search results - page 448 / 1046 » Enterprise modeling using class and instance models |
211
click to vote
ASWEC
2008
IEEE
16 years 2 months ago
2008
IEEE
Security is an integral part of most software systems but it is not considered as an explicit part in the development process yet. Input validation is the most critical part of so...
252
click to vote
ICLP
2003
Springer
16 years 27 days ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
185
click to vote
ERCIMDL
2009
Springer
16 years 2 months ago
2009
Springer
An effective graphic interface is a key tool to improve the fruition of the results retrieved by an Information Retrieval (IR) system. In this work, we describe a two-dimensional...
195
click to vote
CISS
2008
IEEE
16 years 2 months ago
2008
IEEE
— Probe based data storage is a promising solution for satisfying the demand for ultra-high capacity storage devices. One of the main problems with probe storage devices is the w...
168
click to vote
ICOIN
2001
Springer
16 years 4 days ago
2001
Springer
According to the progress of high-speed networks, many communication protocols are specified as concurrent systems. Such systems can be modeled as concurrent deterministic FSMs (D...