4469 search results - page 195 / 894 » A Language for Role Specifications |
192
click to vote
DAIS
2010
15 years 8 months ago
2010
The growing needs in computational power to answer to the increasing number of on-line services and the complexity of applications makes it mandatory to build corresponding hardwar...
187
click to vote
CONSTRAINTS
2008
15 years 6 months ago
2008
Abstract. Essence is a formal language for specifying combinatorial problems, in a manner similar to natural rigorous specifications that use a mixture of natural language and disc...
171
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...
198
click to vote
ISORC
1999
IEEE
15 years 10 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
139
click to vote
VL
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper explores the potential for simplified programming languages to support the development of computational thinking skills in non-programmers. We suggest that novice progr...