Sciweavers

1351 search results - page 195 / 271
» Towards a Spreadsheet Engineering
Sort
View
WER
2007
Springer
15 years 12 months ago
O Gerenciamento de Requisitos no Ambiente COCAR
Background. This research group has been working towards building an environment which helps software development, providing support to some activities mainly based on use case mo...
André Di Thommazo, Marcos Danilo Martins, S...
ASWEC
2006
IEEE
15 years 12 months ago
A Runtime Monitoring and Validation Framework for Web Service Interactions
Web services are designed for composition and use by third parties through dynamic discovery. As such, the issue of interoperability between services is of great importance to ens...
Zheng Li, Yan Jin, Jun Han
ASWEC
2006
IEEE
15 years 12 months ago
Formal Verification of the IEEE 802.11i WLAN Security Protocol
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
Elankayer Sithirasenan, Saad Zafar, Vallipuram Mut...
AUIC
2006
IEEE
15 years 12 months ago
Fluid sketching of directed graphs
We describe a prototype sketch-based system that allows users to draw and manipulate directed graphs using gestural input exclusively. The system incorporates the notion of fluid...
James Arvo, Kevin Novins
COMPSAC
2006
IEEE
15 years 12 months ago
Testing Scenario Implementation with Behavior Contracts
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
Donglin Liang, Kai Xu 0002