2005 search results - page 48 / 401 » Models and Meta Models for Transactions in Web Applications |
116
click to vote
ASWEC
2010
IEEE
15 years 1 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
115
click to vote
FORTE
2007
15 years 2 months ago
2007
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
INFORMATICALT
2007
15 years 1 months ago
2007
The rapid development of network technologies has made the web a huge information source with its own characteristics. In most cases, traditional database-based technologies are no...
128
click to vote
UIST
2010
ACM
14 years 11 months ago
2010
ACM
An important aspect of making the Web accessible to blind users is ensuring that all important web page elements such as links, clickable buttons, and form fields have explicitly ...
ICWE
2009
Springer
15 years 8 months ago
2009
Springer
Model Driven Engineering (MDE) is increasingly gaining acceptance evelopment of Web Applications as a mean to leverage abstraction and render business logic resilient to technologi...