6016 search results - page 971 / 1204 » The semantics of graphical languages |
185
click to vote
SACMAT
2006
ACM
16 years 19 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
205
click to vote
SCESM
2006
ACM
16 years 19 days ago
2006
ACM
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
164
click to vote
W4A
2006
ACM
16 years 19 days ago
2006
ACM
Interest in accessing the Web from small, mobile devices, such as cell phones, is increasing rapidly. The challenge of delivering content to such devices is similar in many ways t...
144
Voted
QSIC
2005
IEEE
16 years 8 days ago
2005
IEEE
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...
161
click to vote
QSIC
2005
IEEE
16 years 8 days ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...