1943 search results - page 243 / 389 » Software and higher education |
139
click to vote
FSTTCS
2005
Springer
16 years 3 days ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
183
click to vote
ICFEM
2005
Springer
16 years 2 days ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
196
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
A high-speed and large-scale processor dedicated to quantum computing is proposed, which has the minimum operation function needed for execution of a quantum algorithm. In this pr...
157
click to vote
ISORC
2003
IEEE
15 years 12 months ago
2003
IEEE
The processes of accessing a shared communication media have been extensively researched in the dependability and real-time area. For embedded systems, the primary approaches have...
166
click to vote
UIST
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...