9390 search results - page 1687 / 1878 » 'Interactivity' - Tracking a New Concept |
213
click to vote
IJCSA
2006
15 years 7 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
210
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
The rise of social media sites — blogs, wikis, and Digg — underscores the transformation of the Web to a participatory medium in which users are collaboratively creating, eval...
222
click to vote
IJWET
2006
15 years 7 months ago
2006
: This paper presents a CASE tool for the high-level specification of web applications integrated with web services. The CASE tool is based on WebML, a conceptual modelling languag...
219
click to vote
JIB
2008
15 years 7 months ago
2008
Biological data is often structured in the form of complex interconnected networks such as protein interaction and metabolic networks. In this paper, we investigate a new problem ...
178
click to vote
IWC
2006
15 years 7 months ago
2006
Even in the current computer age, there are still many important application areas, such as early architectural design, where traditional tools like sketching on paper continue to...