4799 search results - page 726 / 960 » Model Based Requirements Engineering for Embedded Software |
175
click to vote
ENTCS
2008
15 years 6 months ago
2008
Emerging architectures such as partially reconfigurable FPGAs provide a huge potential for adaptivity in the area of embedded systems. Since many system functions are only execute...
161
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
The purpose of this paper is to propose visual models for a web application using Java and XML related technologies. We consider a web application that uses 3tier architecture and...
207
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
182
click to vote
IEEEPACT
2007
IEEE
16 years 25 days ago
2007
IEEE
Effective use of communication networks is critical to the performance and scalability of parallel applications. Partitioned Global Address Space languages like UPC bring the pro...
175
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
We present an organisation infrastructure for open MultiAgent Systems built upon a role-based access control model (RBAC), which provides agents with means to enable and control a...