Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
29172
search results - page 414 / 5835
»
Modeling Systems in CLP
Sort
relevance
views
votes
recent
update
View
thumb
title
145
click to vote
CAISE
1999
Springer
105
views
Information Technology
»
more
CAISE 1999
»
Linking Business Modelling to Socio-technical System Design
15 years 11 months ago
Download
sunsite.informatik.rwth-aachen.de
Alistair G. Sutcliffe, Shailey Minocha
claim paper
Read More »
137
click to vote
CIA
1999
Springer
111
views
Intelligent Agents
»
more
CIA 1999
»
A Computational Model for a Cooperating Agent System
15 years 11 months ago
Download
ermolayev.com
S. Misbah Deen
claim paper
Read More »
167
click to vote
FSTTCS
1999
Springer
98
views
Software Engineering
»
more
FSTTCS 1999
»
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)
15 years 11 months ago
Download
www.iis.nsk.su
Ron van der Meyden, Nikolay V. Shilov
claim paper
Read More »
132
click to vote
CODES
1998
IEEE
103
views
Software Engineering
»
more
CODES 1998
»
Modeling reactive systems in Java
15 years 11 months ago
Download
disi.unitn.it
Claudio Passerone, Roberto Passerone, Claudio Sans...
claim paper
Read More »
148
click to vote
IPPS
1998
IEEE
81
views
Distributed And Parallel Com...
»
more
IPPS 1998
»
A Tree-Driven Multiple-Rate Model of Time Measuring in Object-Oriented Real-Time Systems
15 years 11 months ago
Download
ipdps.cc.gatech.edu
Vesna Mincev, Dragan Milicev
claim paper
Read More »
« Prev
« First
page 414 / 5835
Last »
Next »
