1540 search results - page 247 / 308 » Embedded Systems Resources: Views on Modeling and Analysis |
TASE
2010
IEEE
13 years 2 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...
FAC
2010
13 years 6 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
WADS
2001
Springer
14 years 6 days ago
2001
Springer
Abstract. Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Portions of such codes when t...
HOTOS
2009
IEEE
13 years 11 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...
LREC
2008
13 years 9 months ago
2008
Morfette is a modular, data-driven, probabilistic system which learns to perform joint morphological tagging and lemmatization from morphologically annotated corpora. The system i...