Sciweavers

10055 search results - page 1290 / 2011
» Structured programming using processes
Sort
View
IADIS
2004
15 years 8 months ago
Collaborative Learning and Organization Concept of Virtual University Education
The top-down implementation of information and communication technology does not guarantee necessary organizational change in e-learning and virtual enterprises. The delivery of o...
Miroljub Kljajic, Vardan Mkrttchian, Andrej Skraba
SIGSOFT
2007
ACM
16 years 8 months ago
Mining specifications of malicious behavior
Malware detectors require a specification of malicious behavior. Typically, these specifications are manually constructed by investigating known malware. We present an automatic t...
Mihai Christodorescu, Somesh Jha, Christopher Krue...
CADE
2005
Springer
16 years 7 months ago
Privacy-Sensitive Information Flow with JML
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
Guillaume Dufay, Amy P. Felty, Stan Matwin
ICFP
2006
ACM
16 years 7 months ago
Modelling deterministic concurrent I/O
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...
Malcolm Dowse, Andrew Butterfield
ADAEUROPE
2007
Springer
16 years 1 months ago
Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks
The testing of programs in wireless sensor networks (WSN) is an important means to assure quality but is a challenging process. As pervasive computing has been identified as a not...
W. K. Chan, Tsong Yueh Chen, S. C. Cheung, T. H. T...
« Prev « First page 1290 / 2011 Last » Next »