443 search results - page 15 / 89 » A System Development Process with Event-B and the Rodin Plat... |
SKG
2006
IEEE
14 years 22 days ago
2006
IEEE
Under the background of the requirement of high availability and high performance on the basis of the large-scale distributing type application in agriculture, makes more research...
FPL
1997
Springer
13 years 11 months ago
1997
Springer
: The paper first proposes requirements for an ideal platform for codesign research. A new board developed at Imperial College, the Riley-2, is shown to meet these requirements. It...
ACHI
2009
IEEE
14 years 1 months ago
2009
IEEE
Human interaction like entering some data, making decisions etc. has to be dealt with as an integral part of today’s business processes and the supporting IT likewise. Hence, hu...
AEI
2005
13 years 6 months ago
2005
Intelligent agents provide a means to integrate various manufacturing software applications. The agents are typically executed in a computer-based collaborative environment, refer...
DAC
2005
ACM
13 years 8 months ago
2005
ACM
This paper focuses on designing network processing software for embedded processors. Our design flow CRACC represents an efficient path to implementation based on a modular applic...