335 search results - page 61 / 67 » Arguing safety with Problem Oriented Software Engineering |
FOAL
2009
ACM
15 years 4 months ago
2009
ACM
Aspect-oriented programming (AOP) promises to localize concerns that inherently crosscut the primary structural decomposition of a software system. Localization of concerns is cri...
SIGPLAN
1998
14 years 9 months ago
1998
DrScheme provides a graphical user interface for editing and interactively evaluating Scheme programs on all major graphical platforms (Windows 95/nt, MacOs, Unix/X). The environm...
DAC
2002
ACM
15 years 10 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
SMA
2005
ACM
15 years 3 months ago
2005
ACM
In an industry project with a German car manufacturer we are faced with the challenge of placing a maximum number of uniform rigid rectangular boxes in the interior of a car trunk...
IAT
2003
IEEE
15 years 2 months ago
2003
IEEE
The design of a an agent system for robotics is a problem that involves aspects coming from many different disciplines (robotics, artificial intelligence, computer vision, softwa...