14331 search results - page 287 / 2867 » On the modeling and analysis of obligations |
181
click to vote
IDA
2010
Springer
15 years 10 months ago
2010
Springer
This paper delivers an example of applying intelligent data analysis to biological data where the success of the project was only possible due to joint efforts of the experts from ...
255
click to vote
ICANN
2001
Springer
15 years 11 months ago
2001
Springer
Humans tend to group together related properties in order to understand complex phenomena. When modeling large problems with limited representational resources, it is important to...
191
click to vote
RTAS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Modern computing systems have adopted multicore architectures and multiprocessor systems on chip (MPSoCs) for accommodating the increasing demand on computation power. Ho...
178
click to vote
ER
2000
Springer
15 years 10 months ago
2000
Springer
The development of object-oriented software starts from requirements expressed commonly as Use Cases. The requirements are then converted into a conceptual or analysis model. Analy...
177
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...