3514 search results - page 528 / 703 » Evolving Specification Engineering |
148
click to vote
SEFM
2009
IEEE
16 years 12 days ago
2009
IEEE
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...
194
click to vote
ICST
2009
IEEE
16 years 10 days ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...
147
click to vote
MODELS
2009
Springer
16 years 7 days ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
134
click to vote
UIST
2009
ACM
16 years 5 days ago
2009
ACM
Time-series graphs are often used to visualize phenomena that change over time. Common tasks include comparing values at different points in time and searching for specified patte...
148
click to vote
UIST
2009
ACM
16 years 5 days ago
2009
ACM
Current interactions on direct-touch interactive surfaces are often modeled based on properties of the input channel that are common in traditional graphical user interfaces (GUI)...