1943 search results - page 243 / 389 » Software and higher education |
150
Voted
FSTTCS
2005
Springer
16 years 17 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...
195
Voted
ICFEM
2005
Springer
16 years 16 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...
208
click to vote
ISCAS
2003
IEEE
16 years 9 days 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...
169
Voted
ISORC
2003
IEEE
16 years 9 days 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...
179
Voted
UIST
2003
ACM
16 years 8 days 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...