3239 search results - page 538 / 648 » A Logical Process Calculus |
114
click to vote
EMSOFT
2011
Springer
14 years 14 days ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
108
Voted
WWW
2002
ACM
16 years 1 months ago
2002
ACM
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
111
Voted
WWW
2001
ACM
16 years 1 months ago
2001
ACM
iMobile is a platform that addresses the research issues in building mobile services. iMobile acts as a message gateway that allows mobile devices using various protocols on diffe...
119
click to vote
VLSID
2007
IEEE
16 years 1 months ago
2007
IEEE
In the past, Field Programmable Gate Array (FPGA) circuits only contained a limited amount of logic and operated at a low frequency. Few applications running on FPGAs consumed exc...
183
Voted
SIGMOD
2008
ACM
16 years 27 days ago
2008
ACM
Schema integration is the problem of creating a unified target schema based on a set of existing source schemas that relate to each other via specified correspondences. The unifie...