2748 search results - page 259 / 550 » Generating Object-Z Specifications from Use Cases |
147
click to vote
IUI
2000
ACM
15 years 8 months ago
2000
ACM
NaturalJava is a prototype for an intelligent natural-languagebased user interface for creating, modifying, and examining Java programs. The interface exploits three subsystems. T...
134
Voted
DSD
2006
IEEE
15 years 10 months ago
2006
IEEE
Region concept helps to accommodate cores larger than the tile size in mesh topology NoC architectures. In addition, it offers many new opportunities for NoC design, as well as pr...
155
click to vote
ERLANG
2007
ACM
15 years 7 months ago
2007
ACM
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...
128
click to vote
CASES
2001
ACM
15 years 7 months ago
2001
ACM
It is widely acknowledged that even as VLSI technology advances, there is a looming crisis that is an important obstacle to the widespread deployment of mobile embedded devices, n...
107
click to vote
ASYNC
2005
IEEE
15 years 9 months ago
2005
IEEE
We present an apparatus used to distribute a timing reference or clock across the extent of a digital system. Selftimed circuitry both generates and distributes a clock signal, wh...