2615 search results - page 365 / 523 » Analysis of Real Time Operating System Based Applications |
126
Voted
GIS
1999
ACM
15 years 7 months ago
1999
ACM
In this paper we investigate the development of an embedded and mobile geographic information system. Its main characteristics concern the possibility to access various informatio...
136
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
130
click to vote
BTW
2009
Springer
15 years 9 months ago
2009
Springer
: Many model management tasks, e.g., schema matching or merging, require the manual handling of metadata. Given the diversity of metadata, its many different representations and mo...
127
click to vote
RIDE
1999
IEEE
15 years 7 months ago
1999
IEEE
One of the problems faced by an organisation participating in a virtual enterprise is how to specify internal and external aspects of the organisation in terms of the organisation...
170
click to vote
HPCA
1998
IEEE
15 years 7 months ago
1998
IEEE
Good network hardware performance is often squandered by overheads for accessing the network interface (NI) within a host. NIs that support user-level messaging avoid frequent ope...