7557 search results - page 1373 / 1512 » Modeling Timed Concurrent Systems |
131
click to vote
COMPUTER
1999
15 years 4 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
148
click to vote
VIS
2006
IEEE
16 years 6 months ago
2006
IEEE
Current practice in particle visualization renders particle position data directly onto the screen as points or glyphs. Using a camera placed at a fixed position, particle motions...
163
click to vote
MOBISYS
2007
ACM
16 years 4 months ago
2007
ACM
Except for a handful of "mobile" Web sites, the Web is designed for browsing with personal computers with large screens capable of fitting the content of most Web pages....
147
click to vote
ICIW
2008
IEEE
15 years 11 months ago
2008
IEEE
— Model-Driven Architecture (MDA) is introduced to shorten the software development time, produce better quality of code and promote the reuse of software artifacts. On the other...
169
click to vote
RTCSA
2007
IEEE
15 years 11 months ago
2007
IEEE
RFID middleware systems collect and filter RFID streaming data gathered continuously by numerous readers to process requests from applications. These requests are called continuou...