5630 search results - page 370 / 1126 » Computability in Specification |
185
click to vote
EUROMICRO
2005
IEEE
16 years 15 days ago
2005
IEEE
In multi-disciplinary development, where various domain specific tools are used by developers to specify and analyse a system, efficient system development requires that the model...
157
click to vote
CAISE
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. Computers support more and more tasks in the personal and professional activities of users. Such user tasks increasingly span large periods of time and many locations acr...
193
click to vote
ER
2005
Springer
16 years 13 days ago
2005
Springer
This paper presents the Kuaba Ontology, a knowledge representation model for Design Rationale described in an ontology definition language. The representation of this model in a sp...
208
click to vote
ESTIMEDIA
2005
Springer
16 years 13 days ago
2005
Springer
Designing Application-Specific Instruction-set Processors (ASIPs) usually requires designing a custom datapath, and modifying instruction-set, instruction decoder, and compiler. A...
184
click to vote
PEWASUN
2004
ACM
16 years 9 days ago
2004
ACM
Interferences in an ad-hoc network can be defined as a set of constraints that specify which groups of nodes cannot transmit simultaneously, and they have significant implications...