Sciweavers

1532 search results - page 158 / 307
» Connection Relations in Mereotopology
Sort
View
72
Voted
LREC
2008
88views Education» more  LREC 2008»
15 years 2 months ago
WNTERM: Enriching the MCR with a Terminological Dictionary
In this paper we describe the methodology and the first steps for the creation of WNTERM (from WordNet and Terminology), a specialized lexicon produced from the merger of the Euro...
Eli Pociello, Antton Gurrutxaga, Eneko Agirre, Iza...
102
Voted
ISIM
2007
15 years 2 months ago
Component Model with Support of Mobile Architectures
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...
Marek Rychlý
102
Voted
PTS
2008
109views Hardware» more  PTS 2008»
15 years 2 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
CIC
2004
106views Communications» more  CIC 2004»
15 years 2 months ago
Some Properties of Swapped Interconnection Networks
Interconnection architectures range from complete networks, that have a diameter of D = 1 but are impractical except when the number n of nodes is small, to low-cost, minimally co...
Behrooz Parhami
98
Voted
CLIMA
2004
15 years 2 months ago
Fault Tolerant and Fixed Scalable Structure of Middle-Agents
Middle-agents are used by end-agents to locate service providers in multi-agent systems. One central middle-agent represents a single point of failure and communication bottleneck ...
Pavel Tichý