249 search results - page 39 / 50 » Validating Architectural Feature Descriptions using LOTOS |
173
click to vote
MOBISYS
2009
ACM
16 years 1 months ago
2009
ACM
An important feature of a modern mobile device is that it can position itself. Not only for use on the device but also for remote applications that require tracking of the device....
118
click to vote
MSWIM
2006
ACM
15 years 7 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...
141
click to vote
HT
2004
ACM
15 years 6 months ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...
146
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Genome annotation can be viewed as an incremental, cooperative, data-driven, knowledge-based process that involves multiple methods to predict gene locations and struc...
134
click to vote
TASE
2010
IEEE
14 years 8 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...