3468 search results - page 439 / 694 » An open logical framework |
118
click to vote
ECTEL
2007
Springer
15 years 10 months ago
2007
Springer
TELOS is a new eLearning system being built within the Canadian LORNET project. TELOS aims to provide an open operating system in which users can develop and use eLearning and know...
117
click to vote
FCT
2007
Springer
15 years 10 months ago
2007
Springer
We propose and study a new information transmission problem motivated by today’s internet. A real number, perhaps representing control information in a network, is encoded using...
146
click to vote
IWSM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Non-functional requirements (NFRs) of software systems are an important source of uncertainty in effort estimation. Furthermore, quantitatively approaching NFR early in a...
146
click to vote
ACOM
2006
Springer
15 years 10 months ago
2006
Springer
Communication in multi-agent systems (MASs) is usually governed by agent communication languages (ACLs) and communication protocols carrying a clear cut semantics. With an increasi...
105
click to vote
LCN
2005
IEEE
15 years 9 months ago
2005
IEEE
Despite recent advancements in cellular phone network infrastructure, survivability of the calls is still an open issue. Important business calls and tele-conferences cannot benef...