3381 search results - page 628 / 677 » Using VCL as an Aspect-Oriented Approach to Requirements Mod... |
138
click to vote
PLDI
2010
ACM
16 years 3 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
180
click to vote
VMCAI
2010
Springer
16 years 25 days ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
165
click to vote
COCOA
2009
Springer
16 years 13 days ago
2009
Springer
Combinatorial optimization problems have recently emerged in the design of controllers for OLED displays. The objective is to decompose an image into subframes minimizing the addre...
196
click to vote
RTCSA
2008
IEEE
16 years 7 days ago
2008
IEEE
Nowadays, systems often integrate a variety of applications whose service requirements are heterogeneous. Consequently, systems must be able to concurrently serve applications whi...
189
Voted
AH
2008
Springer
16 years 6 days ago
2008
Springer
The information explosion in today’s electronic world has created the need for information filtering techniques that help users filter out extraneous content to identify the righ...