Sciweavers

2933 search results - page 347 / 587
» Agent-Grid Integration Language
Sort
View
135
Voted
ECOOP
2004
Springer
15 years 9 months ago
Increasing Concurrency in Databases Using Program Analysis
Programmers have come to expect better integration between databases and the programming languages they use. While this trend continues unabated, database concurrency scheduling ha...
Roman Vitenberg, Kristian Kvilekval, Ambuj K. Sing...
133
Voted
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
15 years 9 months ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
124
Voted
IJCNLP
2004
Springer
15 years 9 months ago
Bilingual Chunk Alignment Based on Interactional Matching and Probabilistic Latent Semantic Indexing
Abstract. An integrated method for bilingual chunk partition and alignment, called “Interactional Matching”, is proposed in this paper. Different from former works, our method...
Feifan Liu, Qianli Jin, Jun Zhao, Bo Xu
152
Voted
MOBILITY
2009
ACM
15 years 8 months ago
Lively for Qt: a platform for mobile web applications
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...
Tommi Mikkonen, Antero Taivalsaari, Mikko Terho
122
Voted
SAIG
2001
Springer
15 years 8 months ago
MetaKlaim: Meta-programming for Global Computing
Most foundational models for global computing have focused on the spatial dimension of computations, however global computing requires also new ways of thinking about the temporal ...
Gian Luigi Ferrari, Eugenio Moggi, Rosario Puglies...