1080 search results - page 129 / 216 » Modeling Constraint Programs with Software Technology Standa... |
SOPR
1998
13 years 7 months ago
1998
Many organizations provide information technology services, either to external or internal customers. They maintain software, operate information systems, manage and maintain work...
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
VLSI
2010
Springer
13 years 2 months ago
2010
Springer
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. To overcome these...
IJISMD
2010
13 years 5 months ago
2010
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
GLVLSI
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents a framework to design a shared memory multiprocessor on a programmable platform. We propose a complete flow, composed by a programming model and a template ar...