Sciweavers

12333 search results - page 2192 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
SOPR
1998
117views more  SOPR 1998»
15 years 4 months ago
Towards mature IT services
Many organizations provide information technology services, either to external or internal customers. They maintain software, operate information systems, manage and maintain work...
Frank Niessink, Hans van Vliet
SSIRI
2010
15 years 3 months ago
A Formal Framework for Mutation Testing
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
Fevzi Belli, Mutlu Beyazit
TASE
2008
IEEE
15 years 11 months ago
Verifying BPEL-Like Programs with Hoare Logic
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
Chenguang Luo, Shengchao Qin, Zongyan Qiu
DEXAW
2007
IEEE
104views Database» more  DEXAW 2007»
15 years 11 months ago
An MDA Approach to Implement Personal IR Tools
We introduce TIRA1 , a software architecture for the rapid prototyping of tailored information retrieval (IR) tools. TIRA allows to compose personal IR tools from atomic IR servic...
Sven Meyer zu Eissen, Benno Stein
SAINT
2003
IEEE
15 years 10 months ago
Implementing Role-based Interactions for Internet Agents
Large-scale distributed environments, such as the Internet, achieve advantages in exploiting software agents for applications, thanks to their autonomy in carrying out tasks. In s...
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
« Prev « First page 2192 / 2467 Last » Next »