6174 search results - page 1034 / 1235 » The language of social software |
203
click to vote
SIES
2007
IEEE
16 years 24 days ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
160
click to vote
WCRE
2007
IEEE
16 years 24 days ago
2007
IEEE
Legacy applications can be difficult and time-consuming to understand and update due to the lack of modern abstraction mechanisms in legacy languages, as well as the gradual dete...
152
click to vote
APWEB
2007
Springer
16 years 21 days ago
2007
Springer
XQuery is a powerful language defined by the W3C to query XML documents. Its query functionalities and its expressiveness satisfy the major needs of both the database community an...
161
click to vote
CAISE
2007
Springer
16 years 21 days ago
2007
Springer
This paper presents a model driven approach for the generation of business process driven web applications within the context of ubiquitous environments. For this reason, we have t...
160
click to vote
CC
2007
Springer
16 years 21 days ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...