29172 search results - page 315 / 5835 » Modeling Systems in CLP |
185
click to vote
JSS
2008
15 years 5 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
154
click to vote
PADS
2006
ACM
16 years 20 days ago
2006
ACM
The development of realistic topology generators that produce faithful replicas of Internet topologies is critical for conducting realistic simulation studies of Internet protocol...
174
click to vote
ITS
2004
Springer
16 years 2 days ago
2004
Springer
Developing a learner model containing an accurate representation of a learner’s knowledge is made more difficult in distributed learning environments where the learner uses mult...
158
Voted
MMMACNS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a new model that provides clear and precise semantics for authorization. The semantics is independent from underling security mechanisms and is separate from i...
154
click to vote
VLDB
1989
ACM
15 years 10 months ago
1989
ACM
Deductive conceptualmodels(DCMs) aim at providing a complete specification of information systems,expressing only its logic component.It hasbeenshownthatDCMs have some advantagesw...