Search Sciweavers | Sciweavers

29143 search results - page 208 / 5829

» A Sortation System Model

152

click to vote

MMMACNS
2005
Springer

119views Information Technology» more MMMACNS 2005»

A Temporal Logic-Based Model for Forensic Investigation in Networked System Security

15 years 12 months ago

Download www.cnas.org.tn

Slim Rekhis, Noureddine Boudriga

claim paper

Read More »

113

click to vote

UM
2005
Springer

90views Programming Languages» more UM 2005»

Inhabited Models: Supporting Coherent Behavior in Online Systems

15 years 12 months ago

Download www.visi.com

Thomas Erickson

claim paper

Read More »

118

click to vote

ASPDAC
2004
ACM

70views Hardware» more ASPDAC 2004»

Object-oriented modeling and synthesis of SystemC specifications

15 years 12 months ago

Download cadal.cse.nsysu.edu.tw

C. Schulz-Key, Markus Winterholer, Thomas Schweize...

claim paper

Read More »

124

click to vote

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

15 years 12 months ago

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

123

click to vote

AWIC
2004
Springer

95views Internet Technology» more AWIC 2004»

Toward a Document Model for Question Answering Systems

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers