5630 search results - page 50 / 1126 » Computability in Specification |
CIKM
2006
Springer
14 years 1 months ago
2006
Springer
Domain specific information retrieval has become in demand. Not only domain experts, but also average non-expert users are interested in searching domain specific (e.g., medical a...
NJC
2006
13 years 9 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
ESTIMEDIA
2007
Springer
14 years 4 months ago
2007
Springer
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...
ISORC
2003
IEEE
14 years 3 months ago
2003
IEEE
Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the commu...
COMCOM
1998
13 years 9 months ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...