708 search results - page 19 / 142 » Precise Specification and Automatic Application of Design Pa... |
EUROPLOP
2006
15 years 1 months ago
2006
With the incresing presence on the Web of hypermedia contents with temporal constraints (time-based hypermedia), such as multimedia presentations, there must be a precise form to ...
ICRA
2003
IEEE
15 years 5 months ago
2003
IEEE
Locomotion is considered as most basic function of robots. In the case of ordinary robots, they are not needed to change locomotion pattern because their configurations are consta...
100
click to vote
SIGSOFT
2005
ACM
16 years 14 days ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
103
click to vote
DATE
2004
IEEE
15 years 3 months ago
2004
IEEE
In this paper we analyse some methodological concerns that have to be faced in a design flow which contains automatic synthesis phases from high-level, system descriptions. In par...
100
click to vote
MSR
2005
ACM
15 years 5 months ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...