3868 search results - page 202 / 774 » Open Systems in TLA |
181
click to vote
ATAL
2004
Springer
16 years 17 days ago
2004
Springer
Methodologies for multiagent system development should assist the developer in making decisions about those aspects of the analysis, design and implementation, that are crucial fo...
176
click to vote
WORDS
2002
IEEE
16 years 1 days ago
2002
IEEE
Rather recently object-oriented modeling languages, tools, and methods attract the interest of embedded (realtime) system developers. This is especially true if embedded (real-tim...
167
click to vote
IJCAI
2003
15 years 8 months ago
2003
Abstract. This paper presents a unifying framework to model casebased reasoning recommender systems (CBR-RSs). CBR-RSs have complex architectures and specialize the CBR problem sol...
187
click to vote
CCR
2010
15 years 7 months ago
2010
Today's open platforms for network measurement and distributed system research, which we collectively refer to as testbeds in this article, provide opportunities for controll...
200
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...