2409 search results - page 179 / 482 » Logical systems for structured specifications |
155
click to vote
JUCS
2007
15 years 6 months ago
2007
: Mapping the specification IMS Learning Design and the Course Management System Moodle is a logical step forward on interoperability between eLearning systems and specifications i...
160
click to vote
TASE
2007
IEEE
16 years 23 days ago
2007
IEEE
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
187
click to vote
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Many different P2P overlay networks providing various functionalities, targeting specific applications, have been proposed in the past five years. It is now reasonable to consider...
151
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
161
click to vote
EPIA
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. The two puzzles are the Lottery Paradox and the Amalgamation Paradox, which both point out difficulties for aggregating uncertain information. A generalization of the lot...