Sciweavers

2186 search results - page 186 / 438
» Developing Educational Software Components
Sort
View
ICECCS
2008
IEEE
203views Hardware» more  ICECCS 2008»
16 years 23 days ago
Using AADL to Model a Protocol Stack
In recent trends, the Architecture Analysis and Design Language (AADL) has received increasing attention from safety-critical software development industries. Specific about the A...
Didier Delanote, Stefan Van Baelen, Wouter Joosen,...
SIGCSE
2009
ACM
149views Education» more  SIGCSE 2009»
16 years 6 months ago
GINI: a user-level toolkit for creating micro internets for teaching & learning computer networking
GINI (GINI Is Not Internet) is an open-source toolkit for creating virtual micro Internets for teaching and learning computer networking. It provides lightweight virtual elements ...
Muthucumaru Maheswaran, Alexis Malozemoff, Daniel ...
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 5 months ago
Detecting influenza outbreaks by analyzing Twitter messages
We analyze over 500 million Twitter messages from an eight month period and find that tracking a small number of flu-related keywords allows us to forecast future influenza rates ...
Aron Culotta
ECIS
2003
15 years 7 months ago
Finding a home for web-based information systems - perusing the landscape
Information systems (IS) and software engineering (SE) have shared the domain of systems and software development for several decades with too little overlap in practice and resea...
Chris Barry, Jeremy Brown
FM
2008
Springer
130views Formal Methods» more  FM 2008»
15 years 7 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...