5130 search results - page 438 / 1026 » Constraint Query Languages |
166
Voted
SRDS
2007
IEEE
16 years 1 months ago
2007
IEEE
The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, ha...
162
Voted
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
We describe EXPRESSION, a language supporting architectural design space exploration for embedded Systems-onChip (SOC) and automatic generation of a retargetable compiler/simulato...
225
click to vote
FROCOS
2000
Springer
15 years 10 months ago
2000
Springer
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
183
click to vote
AIIA
1991
Springer
15 years 10 months ago
1991
Springer
Multimodal interfaces combining, e.g., natural language and graphics take advantage of both the individual strength of each communication mode and the fact that several modes can ...
178
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Approaches to enforcing communication integrity in the implementation, exemplified by ArchJava, consider only architectural constraints, without taking into account the late integ...