Sciweavers

4493 search results - page 617 / 899
» A Knowledge Recommend System Based on User Model
Sort
View
EJIS
2010
52views more  EJIS 2010»
15 years 6 months ago
Same technology, different outcome? Reinterpreting Barley's Technology as an Occasion for Structuring
In the last few decades, several studies have found the same technology implemented in highly similar organizational settings to be associated with very different consequences for...
Starling David Hunter III
149
Voted
ATAL
2006
Springer
15 years 10 months ago
Verifying space and time requirements for resource-bounded agents
The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge...
Natasha Alechina, Mark Jago, Piergiorgio Bertoli, ...
AINA
2005
IEEE
16 years 9 days ago
Relational Database Operations Modeling with UML
Many existing software applications involve complex application layer implemented in OO programming languages and at the same time use relational database systems as back-end data...
Shuxin Yin, Indrakshi Ray
HASE
1999
IEEE
15 years 11 months ago
Automatic Dependability Analysis for Supporting Design Decisions in UML
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
Andrea Bondavalli, Ivan Mura, István Majzik
JSS
2006
99views more  JSS 2006»
15 years 6 months ago
Automatic generation of assumptions for modular verification of software specifications
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
Claudio de la Riva, Javier Tuya