8083 search results - page 1403 / 1617 » A Formalization of Software Architecture |
188
click to vote
KBSE
2007
IEEE
16 years 27 days ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
162
click to vote
FASE
2007
Springer
16 years 23 days ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
193
click to vote
COMSWARE
2006
IEEE
16 years 20 days ago
2006
IEEE
— Development in new radio technologies and increase in user demands are driving the deployment of a wide array of wireless networks, ranging from 802.11 networks in the local ar...
186
click to vote
SKG
2006
IEEE
16 years 18 days ago
2006
IEEE
With the rapid evolution of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific ...
204
click to vote
IUI
2006
ACM
16 years 17 days ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...