12774 search results - page 206 / 2555 » A Framework for Proof Systems |
168
click to vote
ICWL
2010
Springer
15 years 4 months ago
2010
Springer
Since Bloom's initial work on competencies in 1956, various competency systems have been designed and used to assess students' competencies. Different pedagogical researc...
201
click to vote
CNSR
2007
IEEE
16 years 28 days ago
2007
IEEE
Position localization of transmitters can be carried out by an adversary owning a network of pervasive receivers, which can pinpoint the victim mobile nodes’ locations with high...
186
click to vote
ICWS
2004
IEEE
15 years 8 months ago
2004
IEEE
Next-generation Government Information Systems will integrate large amounts of heterogeneous data sources located on distributed networks like the Internet. We present Net Travele...
187
click to vote
AAMAS
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we propose a multi-agent system modeling language (MAS-ML) that extends UML (Unified Modeling Language) based on structural and dynamic properties presented in a conc...
144
click to vote
AICT
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper, we propose a framework for QualityDriven Delivery (QDD) in distributed multimedia environments. Quality-driven delivery refers to the capacity of a system to delive...